12 found
Order:
  1.  14
    Elementary Formal Logic.G. N. Georgacarakos & Robin Smith - 1979 - McGraw-Hill Companies.
  2.  62
    Orthomodularity and relevance.G. N. Georgacarakos - 1979 - Journal of Philosophical Logic 8 (1):415 - 432.
  3.  28
    The First Order Predicate Calculus Based on the Logic of Quantum Mechanics.Hermann Dishkant, G. N. Georgacarakos, R. J. Greechie, S. P. Gudder & Gary M. Hardegree - 1983 - Journal of Symbolic Logic 48 (1):206-208.
  4.  41
    Semantics for $S4.04$, $S4.4$, and $S4.3.2$.G. N. Georgacarakos - 1976 - Notre Dame Journal of Formal Logic 17 (2):297-302.
  5.  66
    Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
    The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  17
    Additional extensions of S4.G. N. Georgacarakos - 1977 - Notre Dame Journal of Formal Logic 18:477.
  7. Dawson modelling, deontic logic and moral necessity.G. N. Georgacarakos - 1978 - Logique Et Analyse 21 (82):165.
     
    Export citation  
     
    Bookmark  
  8. The semantics of minimal intuitionism.G. N. Georgacarakos - 1982 - Logique Et Analyse 25:383.
     
    Export citation  
     
    Bookmark   1 citation  
  9.  31
    A modal system properly independent of both the Brouwerian system and $S4$.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (1):101-114.
  10.  23
    A new family of modal systems.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (2):271-281.
  11.  28
    Abnormal worlds and the non-Lewis modal systems.G. N. Georgacarakos - 1977 - Notre Dame Journal of Formal Logic 18 (1):95-100.
  12.  31
    Semantics for ${\rm S}4.03$.G. N. Georgacarakos - 1977 - Notre Dame Journal of Formal Logic 18 (3):504-506.